Progressive Type
段階的型?(Progressive Type)
MojoでProgressive Typeという仕組みが出てきた
Progressive: 前進する、進歩する、向上する、進歩的な、〔税などが〕累進的な、
TypeScriptで見かける漸進的型付け(gradual typing)と何が違うのか。
Gradual Typingの方はJavaScriptなどの型付けされていない言語(untyped language)に関するもの
(1)内で言及している論文中にはスクリプト言語が該当するとなっている
論文
Politz et al. - 2012 - Progressive types.pdf
A syntactic approach to type soundness. Information and Computation
Progressive types
確認用
Q. Progressive Type
参考
(1) Politz et al. - 2012 - Progressive types.pdf
progressiveの意味・使い方・読み方｜英辞郎 on the WEB
Progressive Types
関連
ADsafety: Type-Based Verification of JavaScript Sandboxing | USENIX
The Typed Racket Guide
Typed Racketの簡単過ぎる紹介 ~静的型のLisp~ (後日加筆更新予定) - Qiita
Progressive Types